---

invariant generation rule

英 [ɪnˈveəriənt ˌdʒenəˈreɪʃn ruːl] 美 [ɪnˈveriənt ˌdʒenəˈreɪʃn ruːl]

【计】不变式产生规则

计算机

---

---